home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / oper_sys / emerald / emrldsys.lha / Language / ExecTests / tconform.m < prev    next >
Encoding:
Text File  |  1990-08-31  |  721 b   |  22 lines
  1. import runtest from "RunTest"
  2.  
  3. const tconform <- object tconform
  4.   const myTest == runtest.create[stdin, stdout, "tconform"]
  5.   process
  6.     var a1 : AbstractType
  7.     const AType == type T op X end T
  8.     a1 <- Integer
  9.     myTest.check[a1 *> Integer, "a1 *> Integer"]
  10.     myTest.check[None *> Integer, "None *> Integer"]
  11.     myTest.check[None *> None, "None *> None"]
  12.     myTest.check[None *> Any, "None *> Any"]
  13.     myTest.check[None *> AType, "None *> AType"]
  14.  
  15.     myTest.check[! (Integer *> None), "! (Integer *> None)"]
  16.     myTest.check[None *> None, "None *> None"]
  17.     myTest.check[! (Any *> None), "! (Any *> None)"]
  18.     myTest.check[! (AType *> None), "! (AType *> None)"]
  19.     myTest.done
  20.   end process
  21. end tconform
  22.